🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🐫 Embedded OCaml
Bare-metal Programming, Resource Constraints, Firmware Development
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Galois field instructions on 2021 CPUs
corsix.org
·
13h
·
Discuss:
Hacker News
🏹
Effect Systems
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org
·
21h
🤖
Program Synthesis
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io
·
11h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
OCaml
Specification Grounding: The Missing Link in Vibe Coding
unstract.com
·
8h
·
Discuss:
Lobsters
,
Hacker News
🔍
Formal Verification
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com
·
1d
·
Discuss:
Hacker News
💻
CS
Binding Application in Idris
andrevidela.com
·
1h
·
Discuss:
Hacker News
🔠
Type-Level Programming
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com
·
6h
·
Discuss:
Substack
🐫
OCaml
Home PoE switch 24ports for cameras and potential vlans- Intellinet
microcenter.com
·
5h
·
Discuss:
r/homelab
🏠
HomeLab
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page
·
7h
·
Discuss:
Hacker News
🔬
Static Analysis
Libpostal: C library for parsing/normalizing street addresses around the world
github.com
·
1d
·
Discuss:
Hacker News
🐫
OCaml
The XINU Page
xinu.cs.purdue.edu
·
1h
·
Discuss:
Hacker News
📦
Unikernel Systems
Go Internals: How much can we figure by tracing a syscall in Go?
csunderthehood.substack.com
·
4h
·
Discuss:
r/golang
,
r/programming
🍎
XNU Internals
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space
·
2h
·
Discuss:
r/programming
🔬
Static Analysis
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com
·
2h
·
Discuss:
r/programming
🐫
OCaml
HMQ: Principal Type Inference Under a Prefix
microsoft.com
·
1d
·
Discuss:
Hacker News
🔠
Type-Level Programming
LISPy things you can do in 64K bytes of core
t3x.org
·
3d
·
Discuss:
Hacker News
💾
Retro Computing
Programming Like It’s 1986, For Fun and Zero Profit
hackaday.com
·
1d
💾
Retro Computing
Reverse Engineering the Firmware Loader for an X-Rite Spectrophotometer
adam.zeloof.xyz
·
1h
·
Discuss:
Hacker News
💾
Retro Computing
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co
·
13h
·
Discuss:
Hacker News
🤖
Program Synthesis
Breakthrough in Semiconductor Technology Paves the Way for Faster 6G Networks
techbriefs.com
·
2d
·
Discuss:
Hacker News
💾
Retro Computing
Loading...
Loading more...
Page 2 »